Your search returned 102 results. Subscribe to this search

|
Constructivity in computer science : proceedings / Summer Symposium... ; ed. J. P. Myers, Jr., M. J. O'Donnell Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description X, 246 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Randomness and completeness in computational complexity / Dieter van Melkebeek Monografia Publication Berlin : Springer, cop. 2000 Description XV, 196 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

The design of intelligent agents : a layered approach / Jorg P. Müller Monografia Publication Berlin : Springer-Verlag, cop. 1996 Description XIV, 227 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Applications of uncertainty formalisms / ed. Anthony Hunter, Simon Parsons Monografia Publication Berlin : Springer, cop. 1998 Description VIII, 474 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Advances in database technology - EDBT'98 / ed. Hans-Jörg Schek... [etal.] Monografia Publication Berlin : Springer, cop. 1998 Description XII, 513 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Anaphora in natural language understanding : a survey / Graeme Hirst Monografia Publication Berlin : Springer-Verlag, 1981 Description X, 128 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Concepts in user interfaces : a reference model for command and response languages / ed. David Beech Monografia Publication Berlin : Springer-Verlag, 1986 Description X, 115 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

The nested universal relation database model / Mark Levene Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description 177 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Formal hardware verification : methods and systems in comparison / ed. Thomas Kropf Monografia Publication Berlin : Springer-Verlag, cop. 1997 Description XII, 367 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Issues in agent communication / ed. Frank Dignum, Mark Greaves Monografia Publication Berlin : Springer, cop. 2000 Description X, 350 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Communication and cooperation in agent systems : a pragmatic theory / Afsaneh Haddadi Monografia Publication Berlin : Springer, 1995 Description XIII, 148 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Using sophisticated models in resolution theorem proving / David M. Sandford Monografia Publication Berlin : Springer-Verlag, 1980 Description XI, 239 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Visualization in human-computer interaction / Interdisciplinary workshop on Informatics and Psychology ; ed. P. Gorny, M. J. Tauber Monografia Publication Berlin : Springer-Verlag, 1990 Description VI, 272 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

KI-95 : advances in artificial intelligence : proceedings / 19th Annual German Conference on Artificial Intelligence ; ed. Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer Monografia Publication Berlin : Springer-Verlag, cop. 1995 Description XII, 268 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Adaption and learning in multi-agent systems / ed. Gerhard Wei□s, Sandip Sen Monografia Publication Berlin : Springer-Verlag, cop. 1996 Description X, 238 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Advanced database systems / 10th British National Conference on Databases ; ed. P. M. D. Gray, R. J. Lucas Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description X, 260 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Advances in database technology : proceedings / 3rd International Conference on Extending Database Technology ; ed. Alain Pirotte, Claude Delobel, Georg Gottlob Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description XII, 551 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

7th International Conference on Automated Deduction : proceedings / ed. R. E. Shostak Monografia Publication Berlin : Springer-Verlag, 1984 Description VI, 508 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Database and expert systems applications / ed. Abdelkader Hameurlain, A Min Tjoa Monografia Publication Berlin : Springer, cop. 1997 Description XVII, 686 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Advances in databases : proceedings / 15th British National Conference... ; ed. Carol Small... [et al.] Monografia Publication Berlin : Springer, cop. 1997 Description XI, 231 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).